second-order predicate logic
[数] 二阶谓词逻辑
热门查询
- memorialization memorialization [mi'mɔ:riəlai'zeiʃən; -li'z-] n. memorialize的变形 memorialize [mi'mɔ:riəlaiz; -'məu-] vt. 纪念；庆祝 向…递交请愿书；请愿 变形： vt. memorialized . memorializing 以上来源于：《21世纪大英汉词典》
- granulate vt. 使成粒状；使表面变粗糙 vi. 成为粒状；表面变粗糙
- Tabasco n. 塔巴斯科（墨西哥东南部的州）；塔巴斯科辣酱油
- pliability n. 柔软；易曲折；易适应性
- revanchist n. 恢复失地运动者 adj. 复仇的
- chronotope 时空体
- jon n. 乔恩（男子名）
- Humphrys n. (Humphrys)人名；(英)汉弗莱斯
- extend vt. 延伸；扩大；推广；伸出；给予；使竭尽全力；对…估价 vi. 延伸；扩大；伸展；使疏开
- malefactor n. 作恶者；罪犯；坏人
- yorkist n. 约克党, 约克派
- actions n. 行动（action的复数）；动作
- goshawk n. [鸟] 苍鹰
- Downey [人名] [爱尔兰人、苏格兰人姓氏] 唐尼 Downie的变体; [地名] [美国] 唐尼
- claus [人名] 克劳斯
- blasphemer n. 亵渎者
- specified v. 指定；详细说明（specify的过去分词） adj. 规定的；详细说明的
- grout n. 水泥浆；薄浆 n. (Grout)人名；(法)格鲁；(英)格劳特 vt. 灌浆；用薄泥浆填塞
- braiding n. 分枝；编结物；镶缀 v. 交错编织；编结（braid的ing形式）
- impolite adj. 无礼的；粗鲁的
考试词汇表
- frequency band scanning
- frequency converter TWT
- frequency converter set
- frequency curve fitting
- frequency decorrelation
- frequency discontinuity
- frequency discriminator
- frequency discrinimator
- frequency distributions
- frequency divider stage
- frequency division step
- frequency domain coding
- frequency domain method
- frequency domain signal
- frequency driven design
- frequency flashing lamp
- frequency gain function
- frequency keying method
- frequency of conversion
- frequency of first mode
